21. ESOP '90. 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990 : proceedings, Lecture notes in Computer Science
پدیدآورنده : N. Jones )ed.(
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Computer programming, Congresses,، Programming languages )Electronic computers(, Congresses
رده :
QA
76
.
6
.
E976
22. Erlang'04 : proceedings of the ACM SIGPLAN 2004 Erlang Workshop, September 22, 2004, Snowbird, Utah, USA
پدیدآورنده :
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، ERLANG )Computer program language(,Congresses ، Programming languages )Electronic computers(,Congresses ، Computer software
رده :
QA
76
.
73
.
E75A26
2004
23. Erlang'05 : proceedings of the ACM SIGPLAN 2005 Erlang Workshop, September 25, 2005, Tallinn, Estonia
پدیدآورنده : sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages )SIGPLAN(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، ERLANG )Computer program language(,Congresses ، Programming languages )Electronic computers(,Congresses ، Computer software
رده :
QA
76
.
73
.
E75A26
2005
24. Foundations of object-oriented languages : REX School/Workshop Noordwijkerhout, the Netherlands, May 28-June 1, 1990 : Proceedings
پدیدآورنده : J.W. de Bakker, W.P. de Roever, G. Rozenberg, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Object-oriented programming )Computer science(,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
489
25. Foundations of object-oriented languages: REX School/Workshop, Noordwijkerhout, the Netherlands, May 28-June 1, 1990: Proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Object-oriented programming )Computer science(-- Congresses,، Programming languages )Electronic computers(-- Congresses
رده :
QA
76
.
64
.
R49
1990
26. Generalized quantifiers and computation
پدیدآورنده : Jouko Väänänen (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer logic, Congresses.,Computer science-- Mathematics, Congresses.,Programming languages (Electronic computers), Congresses.
27. Graphic languages. Proceedings
پدیدآورنده : IFIP Working Conference on Graphic Languages, 2791, Vancouver, B.C.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Computer graphics-- Congresses,، Programming languages )Electronic computers(-- Congresses
رده :
T
385
.
I25
1972
28. International Symposium on Theoretical Programming )Proceedings held on August 7-11, 1972(
پدیدآورنده : Edited by Andrei Ershov and Valery A. Nepomniaschy
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
I5793
29. Language design and programming methodology : proceedings of a Symposium held in Sydney, Australia, 10-11 September, 1979
پدیدآورنده : edited by Jeffrey M. Tobias
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Programming languages )Electronic computers(,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
79
30. Language hierarchies and interfaces : International Summer School
پدیدآورنده : F.L. Bauer...]et al.[; edited by F.L. Bauer, K. Samelson
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
46
31. Language, logic, and computation :
پدیدآورنده : Alexandra Silva, Sam Staton, Peter Sutton, Carla Umbach (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computational linguistics, Congresses.,Computer logic, Congresses.,Programming languages (Electronic computers)-- Semantics, Congresses.,Computational linguistics.,Computer logic.,Programming languages (Electronic computers)-- Semantics.
رده :
QA76
.
9
.
L63
32. Languages and compilers for parallel computing
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Compilers (Computer programs) ; Congresses. ; Parallel processing (Electronic computers) ; Congresses. ; Programming languages (Electronic computers) ; Congresses. ;
33. Languages and compilers for parallel computing : 5th international workshop, New Haven, Connecticut, USA, August 3-5, 1992 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Parallel processing )Electronic computing(-- Congresses,، Programming languages )Electronic computers(-- Congresses,، Compilers )Computer programs(-- Congresses
رده :
QA
76
.
58
.
L36
1993
34. Languages, compilers, and run-time systems for scalable computers : 5th International Workshop, LCR 2000, Rochester, NY, USA, May 2000 : selected papers
پدیدآورنده : Sandhya Dwarkadas )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Programming languages )Electronic computers(,Congresses ، Compilers )Computer programs(,Congresses ، Computer architecture
رده :
QA
76
.
L28
Vol
.
1915
35. #Languages, compilers, and tools for embedded systems
پدیدآورنده : #Jack Davidson, Sang Lyul Min, eds
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع : Embedded computer systems- Programming- Congresses ،Programming languages )Electronic computers(- Congresses ،Compilers )Computer programs(- Congresses
رده :
#
QA
،#.
A13
،#
2000
36. Languages, compilers, and tools for embedded systems : ACM SIGPLAN Workshop LCTES 2000, Vancouver, Canada, June 18, 2000 : proceedings
پدیدآورنده : Jack Davidson, Sang Lyul Min, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Embedded computer systems,Congresses ، Programming languages )Electronic computers(,Congresses ، Compilers )Computer programs(
رده :
QA
76
.
L28
Vol
.
1985
37. Logic, language, and computation
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer logic ; Congresses. ; Programming languages (Electronic computers) ; Semantics ; Congresses. ; Computational linguistics ; Congresses. ;
38. Logic, language, and computation :
پدیدآورنده : Nick Bezhanishvili [and others] (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computational linguistics, Congresses,Computer logic, Congresses,Programming languages (Electronic computers)-- Semantics, Congresses
رده :
QA76
.
9
.
L63
I57
2009eb
39. Logic, language, and computation
پدیدآورنده : \ [edited by] Martin Aher...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer logic -- Congresses.,Programming languages (Electronic computers) -- Semantics -- Congresses.,Computational linguistics -- Congresses.,منطق کامپیوتری -- کنگره ها,زبانهای برنامه‌نویسی کامپیوتر -- معنی شناسی -- کنگره ها ,زبان‌شناسی کامپیوتری -- کنگره ها
رده :
QA
75
.
5
.
L644
2015
E-Book
,
40. Mathematical foundations of computer science, 1978 : proceedings, 7th Symposium Zakopane, Poland, September 4-8, 1978
پدیدآورنده : edited by J. Winkowski
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(,Congresses ، Parallel processing )Electronic computers(,Congresses ، Database management
رده :
QA
76
.
L28
Vol
.
64
